Automatic program verification system
[计] 自动程序验证系统
🧩 词语组成解析
automatic
['ɔtə'mætɪk]
adj. 自动的;不假思索的，无意识的;必然发生的;
n. 自动化机器或设备;自动手枪;
autom=auto，autom自动+atic有...性质的 → 自动的；机械的
verification
[,verifi'keiʃən]
n. 证明;证实;<哲>（指通过经验）证明（某命题正确）;核实;
🗣️ 情景例句
His job provides a very handsome salary.
他工作的薪酬十分可观。
He is supposed to be there on time.
按理说他应该准时到那儿。
So our evenings will be quite full then?
那么我们的活动在晚上也安排满了吗？